package rwth

// No registrar functionality