Zur Begründung hat das Bundesverwaltungsgericht folgendes ausgeführt: Die Zweitwohnungsabgabensatzung der Stadt Mainz sei bei verfassungskonformer Auslegung mit Art. 105 Abs. 2a GG vereinbar. Insbesondere die in der Satzung enthaltene Anknüpfung der Steuerpflicht an das Melderecht begegne keinen Bedenken. Die Satzung könne nämlich in ihrer inzwischen rückwirkend geänderten Fassung so ausgelegt werden, dass nachweislich unrichtige melderechtliche Verhältnisse für die Steuerpflicht nicht maßgebend seien. Außerdem könne die Satzung so ausgelegt werden, dass nur Personen besteuert würden, denen eine rechtlich gesicherte Nutzungsmöglichkeit an der Zweitwohnung zustehe, wie dies durch Art. 105 Abs. 2a GG geboten sei.