Ja, das kann man unkommentiert so stehen lassen!

This function has been disabled for Feuerwehr Grävenwiesbach.